Lattice-valued representation of the cut-elimination theorem
نویسندگان
چکیده
منابع مشابه
LATTICE-VALUED CATEGORIES OF LATTICE-VALUED CONVERGENCE SPACES
We study L-categories of lattice-valued convergence spaces. Suchcategories are obtained by fuzzifying" the axioms of a lattice-valued convergencespace. We give a natural example, study initial constructions andfunction spaces. Further we look into some L-subcategories. Finally we usethis approach to quantify how close certain lattice-valued convergence spacesare to being lattice-valued topologi...
متن کاملThe Cut-Elimination Theorem for Differential Nets with Promotion
Recently Ehrhard and Regnier have introduced Differential Linear Logic, DiLL for short — an extension of the Multiplicative Exponential fragment of Linear Logic that is able to express non-deterministic computations. The authors have examined the cut-elimination of the promotion-free fragment of DiLL by means of a proofnet-like calculus: differential interaction nets. We extend this analysis to...
متن کاملAumann Type Set-valued Lebesgue Integral and Representation Theorem
In this paper, we shall firstly illustrate why we should discuss the Aumann type set-valued Lebesgue integral of a set-valued stochastic process with respect to time t under the condition that the set-valued stochastic process takes nonempty compact subset of d-dimensional Euclidean space. After recalling some basic results about set-valued stochastic processes, we shall secondly prove that the...
متن کاملA Riesz Representation Theorem for Cone-valued Functions
The theory of locally convex cones, as developed in [3], deals with ordered cones that are not necessarily embeddable in vector spaces. A topological structure is introduced using order theoretical concepts. We will review some of the main concepts and globally refer to [3] for details and proofs. An ordered cone is a set endowed with an addition and a scalar multiplication for nonnegative real...
متن کاملNew Representation Theorem for Many-valued Modal Logics
We propose a new definition of Representation theorem for many-valued modal logics, based on a complete latice of algebraic truth values, and define the stronger relationship between algebraic models of a given logic L and relational structures used to define the Kripke possible-world semantics for L. Such a new framework offers clear semantics for the satisfaction algebraic relation, based on ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Tsukuba Journal of Mathematics
سال: 1991
ISSN: 0387-4982
DOI: 10.21099/tkbjm/1496161672